Method of Symbolic Test Scenarios Automated Concretization
نویسندگان
چکیده
منابع مشابه
Test Purpose Concretization through Symbolic Action Refinement
In a Model Driven Design process, model refinement methodologies allow one to denote system behaviors at several levels of abstraction. In the frame of a model-based testing process, benefits can be taken from such refinement processes by extracting test cases from the different intermediate models. As a consequence, test cases extracted from abstract models often have to be concretized in orde...
متن کاملScenarios for Development, Test and Validation of Automated Vehicles
The latest version of the ISO 26262 standard from 2016 represents the state of the art for a safety-guided development of safety-critical electric/electronic vehicle systems. These vehicle systems include advanced driver assistance systems and vehicle guidance systems. The development process proposed in the ISO 26262 standard is based upon multiple V-models, and defines activities and work pro...
متن کاملAUTOMATED LACHMAN TEST FOR OBJECTIVE ASSESSMENT OF THE ACL
This was Presented in 5th International Congress of Iranian Iranian Society of Knee Surgery, Arthroscopy, and Sports Traumatology (ISKAST), 14-17 Feb 2018- Kish, Iran
متن کاملAutomated Analysis of Infinite Scenarios
The security of a network protocol crucially relies on the scenario in which the protocol is deployed. This paper describes syntactic constructs for modelling network scenarios and presents an automated analysis tool, which can guarantee that security properties hold in all of the (infinitely many) instances of a scenario. The tool is based on control flow analysis of the process calculus LySa ...
متن کاملConcretization, Explanation, and Mechanisms
Traditional accounts of explanation fail to illuminate the explanatory relevance of “models that are descriptively false” in the sense that the regularities they entail fail to obtain. In this paper, I propose an account of explanation, which I call ‘explanation by concretization’, that serves to explicate the explanatory relevance of such models. Starting from a highly abstract and idealized m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2015
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2015-27(3)-8